Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
871	Blocked Clause Elimination and its Extensions Marijn J. H. Heule∗ joint work with Matti J¨arvisalo and Armin Biere Abstract Boolean satisfiability (SAT) has become a core technology in many application Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 08:16:51 NP-complete problems Conjunctive normal form Automated theorem proving Boolean satisfiability problem Resolution Logic programming 2-satisfiability Theoretical computer science Mathematics Applied mathematics
872	Supercomputer SX-9 Hardware LSI and Circuit Technologies of the SX-9 TANAHASHI Toshio, TSUCHIDA Junichi, MATSUZAWA Hajime NIWA Kenji, SATOH Tatsuo, KATAGIRI Masaru Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:43:16 Oscillators Radio electronics Digital electronics Logic families Clock signal Jitter NEC Central processing unit Voltage-controlled oscillator Electronic engineering Electronics Electronic design
873	A Truth-Conditional Account of Free-Choice Disjunction Graeme Forbes 1. Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2014-04-02 18:50:11 Propositional calculus Mathematical logic Logical connectives Semantics Grammar Negation Logical disjunction Boolean algebra Logic Abstract algebra
874	Context-Dependence and the Sorites Graeme Forbes Abstract: In Section 1 we describe the Sorites paradox and lay out options for a solution. In Section 2 we consider approaches which deny that all premises are true, and n Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-07-05 20:30:29 Rules of inference Philosophical logic Paradoxes Modus ponens Material conditional Polysyllogism Sorites paradox Supervaluationism Strict conditional Logic Conditionals Propositional calculus
875	Multimodality in Pervasive Environment Marco Anisetti, Valerio Bellandi, Paolo Ceravolo and Ernesto Damiani Abstract Future pervasive environments are expected to immerse users in a consistent world of probes, sensors an Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-06-07 09:14:15 Sensors Probability interpretations Information science Semantic Web Cognition Uncertain inference Semantic Sensor Web Uncertainty Fuzzy logic Science Logic Knowledge
876	L:/Documents and Settings/Administrator/My Documents/Reseach/Gecco 2008 Abstract/t07pap188-qasem.dvi Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 14:52:22 Logic in computer science Constraint programming Operations research Boolean algebra Boolean satisfiability problem Electronic design automation Maximum satisfiability problem Local search Stochastic optimization Theoretical computer science Applied mathematics Mathematics
877	Testing Programming Aptitude Saeed Dehnadi School of Computing Middlesex University, UK [removed] Abstract. Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2006-07-12 14:40:39 Algorithm Mathematical logic Theoretical computer science ALGOL 68 Assignment Mental model Psychology Software engineering Ethology Science
878	Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-02-25 06:27:38 Mathematics Operator theory Μ operator Interpretation Symbol First-order logic Function Operator Linear temporal logic Mathematical logic Logic Model theory
879	HOL Light Tutorial (for version[removed]John Harrison Intel JF1-13 [removed] January 12, 2011 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-12 14:03:23 Logic in computer science OCaml Automated theorem proving HOL Caml Proof assistant ML Read–eval–print loop Isabelle Software Computing Functional languages
880	Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID[removed], 6 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 16:15:03 Operator theory Inequalities Hindawi Publishing Corporation Theorem Hilbert space Mathematics Logic Linear algebra

UPDATE